inhabited type